International Workshop on Critical Systems Development with UML
نویسندگان
چکیده
In 1978, a group of researchers led by Dave Parnas developed a tabular nota-tion for specifying software requirements called SCR (Software Cost Reduction)and used the notation to specify the requirements of a mission-critical program,the Operational Flight Program for the A-7 aircraft. Since then, the require-ments of many critical programs, including control software for nuclear powerplants and other flight programs, have been specified in SCR. To support for-mal representation and analysis of software requirements, NRL has developeda state machine model to define the SCR semantics and built a suite of toolsbased on this semantics for checking requirements specifications for propertiesof interest. Such tools are especially valuable for specifying and analyzing therequirements of software systems where compelling evidence is required that thesystem satisfies critical properties, such as safety and security properties. Thistalk describes the many different roles that formally based software tools canplay in debugging, verifying, and validating the requirements of critical softwaresystems. The author’s recent experience and lessons learned in specifying therequirements of a security-critical cryptographic system and two software com-ponents of NASA’s International Space System are also described.————————————————————— Connie Heitmeyer, the chief designer of the SCR toolset, heads the SoftwareEngineering Section of the Naval Research Laboratory’s Center for High Assur-ance Computer Systems. Recently, she served as co-program chair for MEM-OCODE 2004, the 2nd International Conference on Formal Methods in Hard-ware/Software Co-Design. She is currently serving as co-chair of the ExperienceReports Track at ICSE 2005. She is a member of the editorial boards of theACM Transactions on Software Engineering and Methodology, the Require-ments Engineering Journal, and the Journal on Software and System Modeling.Her research interests are in formal specification and formal analysis of softwareand system requirements and of high assurance software systems. She is alsovery interested in transferring formal methods technology and tools to softwarepractitioners.
منابع مشابه
Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)
We give a short report on the contributions to and some discussions made and conclusions drawn at the Third International Workshop on Critical Systems Development Using Modeling Languages (CSDUML’04).
متن کاملValidating Objected-Oriented Prototype of Real-Time Systems with Timed Automata
Object-oriented development of real-time systems is becoming more and more prevalent. Unified Modeling Language (UML) is a standardized notation for describing object-oriented software design. While using UML to specify real-time systems, the formal validation of certain timing constraints becomes critical for the success of object-oriented development of real-time systems. Current development ...
متن کاملCritical Systems Development with UML - Proceedings of the UML ’ 03 workshop Jan
In this paper an approach to using the UML for developing safety critical systems is presented. We describe how safety analysis may be performed on a UML system model and how this analysis can derive safety requirements for classes in the system. We show how these requirements can be expressed in the form of safety contracts using the OCL. This makes it possible to reason about the safety of in...
متن کاملA Critical Look upon UML 1.0
The Uniied Modeling Language consists of a set of mostly graphi-cal description techniques for the speciication, modeling, and documentation of object-oriented systems. Based on the experience gained in using UML 1.0 for the development of a medium-sized, distributed Java program, we comment on its strengths and weaknesses. Furthermore, some proposals for extensions and changes are made.
متن کاملMapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...
متن کاملTools for Critical Systems Development with UML (Tool Demo)
The high quality development of critical systems (be it dependable, security-critical, real-time, or performance-critical systems) is difficult. Many critical systems are developed, deployed, and used that do not satisfy their criticality requirements, sometimes with spectacular failures. UML offers an opportunity for high-quality critical systems development that is feasible in an industrial c...
متن کامل